execution of rudolf hoess